Buy Used and New Gilles Barthe Books

Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures: FOSAD 2007/2008/2009 Tutorial Lectures (Lecture Notes in Computer Science / Security and Cryptology)

by Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

ISBN 13: 9783642038280

Format: Paperback (339 pages)
Publisher: Springer
Published: 17 Aug 2009

Save for later

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783642113185

Format: Paperback (397 pages)
Publisher: Springer
Published: 08 Jan 2010

Save for later

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, ... Computer Science / Security and Cryptology)

by

ISBN 13: 9783540336891

Format: Paperback (184 pages)
Publisher: Springer
Published: 18 Apr 2006

Save for later

Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 ... / Programming and Software Engineering)

by

ISBN 13: 9783540688624

Format: Paperback (259 pages)
Publisher: Springer
Published: 29 May 2008

Save for later

Trustworthy Global Computing: Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540786627

Format: Paperback (401 pages)
Publisher: Springer
Published: 18 Mar 2008

Save for later

Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers (Lecture Notes in Computer Science / Security and Cryptology)

by

ISBN 13: 9783642224430

Format: Paperback (271 pages)
Publisher: Springer
Published: 23 Sep 2011

Save for later

Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9-15, 2000 Advanced Lectures (Lecture Notes in Computer Science)

by Gilles Barthe,Peter Dybjer,Luís Pinto,João Saraiva

ISBN 13: 9783540440444

Format: Paperback (544 pages)
Publisher: Springer
Published: 21 Aug 2002

Save for later

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, ... 3362 (Lecture Notes in Computer Science)

by Traian Muntean,Gilles Barthe,Jean-Louis Lanet,Lilian Burdy,Marieke Huisman

ISBN 13: 9783540242871

Format: Paperback (272 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Foundations of Probabilistic Programming

by Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva

ISBN 13: 9781108488518

Format: Hardcover (582 pages)
Publisher: Cambridge University Press
Published: 03 Dec 2020

Save for later